منابع مشابه
Final Report: Saga 3 Brief History of the Saga Project
This report documents the latest work in the SAGA (Spray Advisor using Genetic Algorithms) project, the goal of which is to provide an effective means for a computer to recommend an optimal set of parameters for spraying a wooded area with pesticide. Current work is in two directions. One of these is the maintenance of older SAGA programs, some of which were built on now-obsolete platforms. The...
متن کاملACTA: The SAGA Continues
ACTA is a comprehensive transaction framework that permits a transaction modeler to specify the e ects of extended transactions on each other and on objects in the database. ACTA allows the speci cation of (1) the interactions between transactions in terms of relationships between signi cant (transaction management) events, such as begin, commit, abort, delegate, split, and join, pertaining to ...
متن کاملThe Latent Heat Saga
A n outstanding scientific and technological achievement of the twentieth century has been the evolution of nuclear energy which forms part of the mix of energy sources on which the continued growth of our civilization depends. In the twenty-first century we may be blessed with the arrival of another source of energy, of similar magnitude, which is more benign than nuclear energy and does not h...
متن کاملThe Strategy Logic Saga
In open-system verification, a fundamental area of research is the study of modal logics for strategic reasoning in the setting of multi-agent games [3, 5]. An important contribution in this field has been the development of Alternating-Time Temporal Logic (ATL∗, for short), introduced by Alur, Henzinger, and Kupferman [1]. Formally, it is obtained as a generalization of the logic CTL∗ [4], whe...
متن کاملVitamin A Saga
A key player in this fascinating story is Weston A. Price, who discovered that the diets of healthy traditional peoples contained at least ten times as much vitamin A as the American diet of his day. His work revealed that vitamin A is one of several fat-soluble activators present only in animal fats and necessary for the assimilation of minerals in the diet. He noted that the foods held sacred...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ritröð Guðfræðistofnunar
سال: 2019
ISSN: 2298-8270,1670-2972
DOI: 10.33112/theol.48.6